English logic knowledge representation: переклад на інші мови